Voer een woord of zin in in een taal naar keuze 👆
Taal:
Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT
Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
- hoe het woord wordt gebruikt
- gebruiksfrequentie
- het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
- opties voor woordvertaling
- Gebruiksvoorbeelden (meerdere zinnen met vertaling)
- etymologie
Wat (wie) is Математическая логика - definitie
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
МАТЕМАТИЧЕСКАЯ ЛОГИКА
дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
Математическая логика
логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.
А. А. Марков.
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Wikipedia
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Voorbeelden uit tekstcorpus voor Математическая логика
1. Химия высокомолекулярных соединений, физическая химия, высшая математика, математическая логика.
2. - Здесь действует не математическая логика, а психологическая, - считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
3. - Здесь действует не математическая логика, а психологическая, считает профессор кафедры социальной психологии МГУ Тахир БАЗАРОВ.
4. В чем смысл соединения этих историй, писатель Барикко, похоже, и сам не знает, хотя и настаивает на том, что в этом есть какая-то математическая логика.
